/*****************************************************
 * jr generated file
 ****************************************************/
import java.io.*;
import edu.ucdavis.jr.*;
import edu.ucdavis.jr.jrx.*;
import java.rmi.*;
import java.io.Serializable;

public class Recv_voidTovoid
  extends Recv_void
  implements Serializable
{
    Op_voidTovoid.JRProxyOp retOp;
    Cap_voidTovoid fretOp;
    public Recv_voidTovoid(long timestamp, Op_voidTovoid.JRProxyOp retOp, edu.ucdavis.jr.RemoteHandler handler, Exception thrown)
    {
	super(timestamp, handler, thrown);
	this.retOp = retOp;
    }
    public Recv_voidTovoid(long timestamp, Op_voidTovoid.JRProxyOp retOp, Cap_voidTovoid fretOp, edu.ucdavis.jr.RemoteHandler handler, Exception thrown)
    {
	super(timestamp, handler, thrown);
	this.retOp = retOp;
	this.fretOp = fretOp;
    }
}
